many-sorted predicate calculus
多种类谓词演算
热门查询
- Pimm [人名] 皮姆
- tallish adj. 身材较高的
- ponderous adj. 笨重的；沉闷的；呆板的 比较级more ponderous 最高级most ponderous
- sclerotic n. [解剖] 巩膜；硬化剂 adj. 硬化的，僵硬的；巩膜的
- empowering v. 授权；允许（empower的ing形式）
- cattail n. 香蒲；柔夷花序之花
- rock bottom n. 最低点；最低水平 [网络] 岩底；洛克爆弹；最低层
- flamingo n. [鸟] 火烈鸟
- recline vt. 使躺下；使斜倚 vi. 靠；依赖；斜倚
- bozo n. 家伙；笨蛋 n. (Bozo)人名；(阿拉伯)布祖；(法、土)博佐；(西)博索；(波黑)博若
- blight n. 枯萎病；荒芜 vi. 枯萎 vt. 破坏；使…枯萎 n. (Blight)人名；(英)布莱特
- reappearance n. 再现
- mound n. 堆；高地；坟堆；护堤 vt. 堆起；筑堤 vi. 积成堆
- announcement n. 公告；宣告；发表；通告
- rhapsodize vt. 狂热地说；把…写成狂想诗文 vi. 写狂想文；作狂想曲
- marital adj. 婚姻的；夫妇间的
- plasterer n. 泥水匠；粉刷工；石膏师
- guideway n. 导沟
- kinfolk n. 亲属
- dictated v. 口述（dictate的过去分词） adj. 口述的（dictate的过去分词）
